内插定理
optimization for interpolation theorem of narrow quadrilateral
窄边四边形插值定理的优化
Interpolation theorem and preservation theorem in first order logic have determined the existence of first order formula in accordance with certain conditions, their proofs in classical model theory are fairly long and hard to tackle.
一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性,经典模型论中对这些的证明较为繁难。
英语网 · 高中英语
英语网 · 双语娱乐资讯
英语网 · 双语新闻
英语网 · 英语词汇
英语网 · 英语口语